(deftype)
